XML Static Analyzer User Manual
نویسندگان
چکیده
This manual provides documentation for using the logical solver introduced in [Genevès, 2006; Genevès et al., 2007; Genevès et al., 2008]. Key-words: Static Analysis, Logic, Satisfiability Solver, XML, Schema, XPath, Queries
منابع مشابه
Smile Analyzer: A Software Package for Analyzing the Characteristics of the Speech and Smile
Taking into account the factors related to lip-tooth relationships in orthodontic diagnosis and treatment planning is of prime importance. Manual quantitative analysis of facial parameters on photographs during smile and speech is a difficult and time-consuming job. Since there is no comprehensive and user-friendly software package, we developed a software program called "Smile Analyzer" in the...
متن کاملDetermining XSLT Streamability Using New Hierarchical XSD Model
We introduce a new compact model of XML Schema called a schema tree. Given an XSLT transformation xsl and an XML schema xsd, we present a method which statically analyzes the schema tree constructed according to xsd and determines whether xsl can be processed in a streaming manner on a set of XML documents defined by xsd. We consider streaming processing that uses a stack of the size proportion...
متن کاملAn Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer
Many practical static analyzers are not completely sound by design. Their designers trade soundness to increase automation, improve performance, and reduce the number of false positives or the annotation overhead. However, the impact of such design decisions on the effectiveness of an analyzer is not well understood. This paper reports on the first systematic effort to document and evaluate the...
متن کاملA User Interaction Bug Analyzer based on Imaging Processing
Context: Mobile applications support a set of user-interaction features that are independent of the application logic. Rotating the device, scrolling, or zooming are examples of such features. Some bugs in mobile applications can be attributed to user-interaction features. Objective: This paper proposes and evaluates a bug analyzer based on userinteraction features that uses digital image proce...
متن کاملTaming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false alarms from a domain-unaware static analyzer. Our analyzer named Airac(Array Index Range Analyzer for C) collects all the true buffer-overrun points in ANSI C programs. The soundness is maintained, and the analysis’ cost-accur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0812.3550 شماره
صفحات -
تاریخ انتشار 2008